<html>
<body>
<p>Removes the type annotation and adds the newly inferred one.</p>
</body>
</html>
